* make-dist: Add a --tests option, to include test/ (backport from trunk)
authorGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 07:03:33 +0000 (00:03 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 07:03:33 +0000 (00:03 -0700)
commit0686967ca07509b3d57ab6bf5adc05b6eb2ca059
treecaf93e0d852358575570cc6ac8405bf58cb549e3
parentf89d98e4e8336a54b0ccc9ab0eabebe13bb005e3
* make-dist: Add a --tests option, to include test/   (backport from trunk)
ChangeLog
make-dist